java src/slimepk.java